perm filename LISP.2[F77,JMC]1 blob sn#318045 filedate 1977-11-11 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Additional chapters and sections to LISP book.
C00004 ENDMK
CāŠ—;
Additional chapters and sections to LISP book.

1. Programs that look at or produce programs.
e.g. is it iterative, compile maplists into functions,

2. input-output
	a.how to use the input and output functions
	b. simple input-output of S-expressions, and programmed
algebraic i-o
	c. syntax directed i-o, how to use it, how it works

3. lisp implementation
	workings of maclisp - what the code compiles into, garbage,

4. syntax directed computation
	transform and friends
	there are some relevant programs

5. Applications to proof-checking and theorem proving.  This should
be the major application chapter.

6. variants of lisp and extensions
hash lisp, Goto's NLISP, scheme, pop-2

7. guide to the literature

8. LISP based systems.  Some examples and advice about writing them.

9. Introduction and historical note.